Programming language

Results: 18056



#Item
41Programming with permissions: the Mezzo language Jonathan Protzenko François Pottier Inria

Programming with permissions: the Mezzo language Jonathan Protzenko François Pottier Inria

Add to Reading List

Source URL: jonathan.protzenko.fr

- Date: 2015-01-02 09:04:06
    42“By moving to Erlang programming language and Riak KV NoSQL data store, we can now quickly build new systems to handle the load.” Dan Macklin Head of R&D at bet365 RIAK KV

    “By moving to Erlang programming language and Riak KV NoSQL data store, we can now quickly build new systems to handle the load.” Dan Macklin Head of R&D at bet365 RIAK KV

    Add to Reading List

    Source URL: esl-website-production.s3.amazonaws.com

    - Date: 2016-06-23 07:55:26
      43Pony A Brief Programming Language Overview! October 2017 Disclaimer!

      Pony A Brief Programming Language Overview! October 2017 Disclaimer!

      Add to Reading List

      Source URL: wonks.github.io

      - Date: 2018-03-09 13:35:10
        44POP-PL: A Patient-Oriented Prescription Programming Language Spencer P. Florence˚,:: Burke Fetscher˚ Matthew Flatt: William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold§ Robert Bruce Fin

        POP-PL: A Patient-Oriented Prescription Programming Language Spencer P. Florence˚,:: Burke Fetscher˚ Matthew Flatt: William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold§ Robert Bruce Fin

        Add to Reading List

        Source URL: florence.io

        - Date: 2017-08-17 15:17:53
          45Illustrating the Mezzo programming language Jonathan Protzenko1 1 INRIA Rocquencourt, France

          Illustrating the Mezzo programming language Jonathan Protzenko1 1 INRIA Rocquencourt, France

          Add to Reading List

          Source URL: jonathan.protzenko.fr

          - Date: 2015-01-02 09:04:04
            46tifact Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features Keywords Macros, hygiene, binding, scope 1.

            tifact Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features Keywords Macros, hygiene, binding, scope 1.

            Add to Reading List

            Source URL: www.cs.utah.edu

            - Date: 2015-12-13 09:20:23
              47Retriable Futures Martin Sulzmann? and Jonas Moosmann?? Hochschule Karlsruhe - Technik und Wirtschaft Abstract. Futures are a programming language abstraction to structure asynchronous computations. We argue that there a

              Retriable Futures Martin Sulzmann? and Jonas Moosmann?? Hochschule Karlsruhe - Technik und Wirtschaft Abstract. Futures are a programming language abstraction to structure asynchronous computations. We argue that there a

              Add to Reading List

              Source URL: www.home.hs-karlsruhe.de

              - Date: 2014-02-13 06:22:18
                48Feel Different on the Java Platform: The Star Programming Language Frank McCabe Michael Sperber

                Feel Different on the Java Platform: The Star Programming Language Frank McCabe Michael Sperber

                Add to Reading List

                Source URL: www.deinprogramm.de

                - Date: 2013-09-12 03:34:28
                  49Programming Language Abstractions for Modularly Verified Distributed Systems {P } c

                  Programming Language Abstractions for Modularly Verified Distributed Systems {P } c

                  Add to Reading List

                  Source URL: ilyasergey.net

                  - Date: 2018-03-26 18:04:22
                    50The design of Mezzo, a new programming language François Pottier Jonathan Protzenko

                    The design of Mezzo, a new programming language François Pottier Jonathan Protzenko

                    Add to Reading List

                    Source URL: jonathan.protzenko.fr

                    - Date: 2015-11-24 20:09:36